<?php

/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

class navigation
{
    function index()
    {
        //echo "here is navigation index";
    }
}
?>
